New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Check API with Pyright #554

Merged

hynek merged 1 commit into main from pyright

Sep 19, 2023

Owner

hynek commented Sep 19, 2023

No description provided.

hynek force-pushed the pyright branch 2 times, most recently from a9155d4 to cea556a Compare

September 19, 2023 13:31


          Check API with Pyright

916da9b

hynek force-pushed the pyright branch from cea556a to 916da9b Compare

September 19, 2023 13:41

hynek merged commit 43d3c9c into main

14 checks passed

hynek deleted the pyright branch

September 19, 2023 13:51

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet